YES 0.8140000000000001
↳ HASKELL
↳ IPR
((partition :: (a -> Bool) -> [a] -> ([a],[a])) :: (a -> Bool) -> [a] -> ([a],[a])) |
import qualified Maybe import qualified Prelude |
|||||||||||||||
partition :: (a -> Bool) -> [a] -> ([a],[a])
|
|||||||||||||||
|
import qualified List import qualified Prelude |
~(ts,fs)
select0 (ts,fs) = ts
select1 (ts,fs) = fs
↳ HASKELL
↳ IPR
↳ HASKELL
↳ BR
((partition :: (a -> Bool) -> [a] -> ([a],[a])) :: (a -> Bool) -> [a] -> ([a],[a])) |
import qualified Maybe import qualified Prelude |
|||||||||||||||
partition :: (a -> Bool) -> [a] -> ([a],[a])
|
|||||||||||||||
|
|||||||||||||||
|
|||||||||||||||
|
import qualified List import qualified Prelude |
↳ HASKELL
↳ IPR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((partition :: (a -> Bool) -> [a] -> ([a],[a])) :: (a -> Bool) -> [a] -> ([a],[a])) |
import qualified Maybe import qualified Prelude |
|||||||||||||||
partition :: (a -> Bool) -> [a] -> ([a],[a])
|
|||||||||||||||
|
|||||||||||||||
|
|||||||||||||||
|
import qualified List import qualified Prelude |
select p x vw
| p x
= (x : select0 vw,select1 vw) | otherwise
= (select0 vw,x : select1 vw)
select p x vw = select4 p x vw
select2 p x vw True = (select0 vw,x : select1 vw)
select3 p x vw True = (x : select0 vw,select1 vw) select3 p x vw False = select2 p x vw otherwise
select4 p x vw = select3 p x vw (p x)
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
↳ HASKELL
↳ IPR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
(partition :: (a -> Bool) -> [a] -> ([a],[a])) |
import qualified Maybe import qualified Prelude |
|||||||||
partition :: (a -> Bool) -> [a] -> ([a],[a])
|
|||||||||
|
|||||||||
|
|||||||||
|
|||||||||
|
|||||||||
|
|||||||||
|
import qualified List import qualified Prelude |
↳ HASKELL
↳ IPR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
↳ QDP
↳ QDPSizeChangeProof
new_foldr(vz3, :(vz40, vz41), ba) → new_foldr(vz3, vz41, ba)
From the DPs we obtained the following set of size-change graphs: